<html>
<head><title>Defects4J Documentation</title>
<link rel="stylesheet" title="defects4j" type="text/css" href="https://defects4j.org/html_doc/defects4j.css" media="all" >
<script type="text/javascript" src="_podly.js"></script>
</head>

<body>
<h1>Defects4J Documentation</h1>
